41. Formal semantics of Programming languages

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Semantics-- Congresses

رده :
QA
76
.
7
.
C68
1970

42. Formal specification and software development

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Programming ، Electronic digital computers,، Programming languages )Electronic computers(

رده :
QA
76
.
6
.
B575
1982

43. Formal specification and software development

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع: ، Computer software -- Development,، Programming languages )Electronic computers(

رده :
QA
76
.
6
.
B575

44. Formal specification of interactive graphics programming languages

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Computer graphics

رده :
T
385
.
M34
1983

45. Formal specification of interactive graphics programming languages

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Programming languages (Electronic computers)- Computer graphics

رده :
T385
.
M34
1983

46. Formal syntax and semantics of Java

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Java )Computer program language(,، Programming languages )Electronic computers( -- Semantics

رده :
QA
76
.
L28
Vol
.
1523

47. Formal syntax and semantics of Java

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Java (Computer program language),Programming languages (Electronic computers)--Semantics

رده :
QA
,
76
.
73
,.
J38
,
F67
,
1999

48. Formal syntax and semantics of Java

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Java (Computer program language) ; Programming languages (Electronic computers) ; Semantics ;

49. Formal syntax and semantics of programming languages :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Programming languages (Electronic computers) ; Syntax. ;

50. Formal syntax and semantics of programming languages

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Programming languages (Electronic computers)--Syntax,Programming languages (Electronic computers)--Semantics

رده :
QA
,
76
.
7
,.
S59
,
1995

51. Formal syntax and semantics of programming languages : a laboratory based approach

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Programming languages )Electronic computers( - Syntax , Programming languages )Electronic computers( - Semantics

رده :
QA
76
.
7
.
S59
1995

52. From Point to Pixel:

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

53. Grammars and automata for string processing: from mathematics and computer science to biology, and back

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages

رده :
QA
76
.
G64
2003

54. Grammars and automata for string processing : from mathematics and computer science to biology, and back

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-

رده :
QA
76
.
G69

55. Introduction a la theorie des langages

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Formal languages,، Programming languages )Electronic computers(

رده :
QA
267
.
3
.
M67

56. It's all about coordination :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
58
.
I87
2018eb

57. Languages and tools for hybrid systems design /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Hybrid computers-- Programming.,Hybrid systems-- Computer simulation.,Hybrid systems-- Design-- Data processing.,Hybrid systems-- Mathematical models.,Programming languages (Electronic computers),System analysis-- Computer programs.,Hybrid computers-- Programming.,Programming languages (Electronic computers),System analysis-- Computer programs.,TECHNOLOGY & ENGINEERING-- Automation.

رده :
QA76
.
7
.
L36
2006

58. Larch

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع: Electronic digital computers -- Programming,Computer software -- Development,Larch )Computer program language(

رده :
QA
76
.
6
.
H66
1993

59. Larch

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع: Electronic digital computers -- Programming,Computer software -- Development,Larch )Computer program language(

رده :
QA
76
.
6
.
H66
1993

60. Logic and specifiction

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)

موضوع: Programming languages (Electronic computers)- Semantics►Software engineering►Logic, Symbolic and mathematical

رده :
76
.
7
.
M53